4,281 research outputs found
Type theory in human-like learning and inference
Humans can generate reasonable answers to novel queries (Schulz, 2012): if I
asked you what kind of food you want to eat for lunch, you would respond with a
food, not a time. The thought that one would respond "After 4pm" to "What would
you like to eat" is either a joke or a mistake, and seriously entertaining it
as a lunch option would likely never happen in the first place. While
understanding how people come up with new ideas, thoughts, explanations, and
hypotheses that obey the basic constraints of a novel search space is of
central importance to cognitive science, there is no agreed-on formal model for
this kind of reasoning. We propose that a core component of any such reasoning
system is a type theory: a formal imposition of structure on the kinds of
computations an agent can perform, and how they're performed. We motivate this
proposal with three empirical observations: adaptive constraints on learning
and inference (i.e. generating reasonable hypotheses), how people draw
distinctions between improbability and impossibility, and people's ability to
reason about things at varying levels of abstraction.Comment: 5 pages, 0 figures, accepted into Beyond Bayes ICML '2
Effectiveness evaluation of STOL transport operations (phase 2)
A computer simulation program which models a commercial short-haul aircraft operating in the civil air system was developed. The purpose of the program is to evaluate the effect of a given aircraft avionics capability on the ability of the aircraft to perform on-time carrier operations. The program outputs consist primarily of those quantities which can be used to determine direct operating costs. These include: (1) schedule reliability or delays, (2) repairs/replacements, (3) fuel consumption, and (4) cancellations. More comprehensive models of the terminal area environment were added and a simulation of an existing airline operation was conducted to obtain a form of model verification. The capability of the program to provide comparative results (sensitivity analysis) was then demonstrated by modifying the aircraft avionics capability for additional computer simulations
Private Multiplicative Weights Beyond Linear Queries
A wide variety of fundamental data analyses in machine learning, such as
linear and logistic regression, require minimizing a convex function defined by
the data. Since the data may contain sensitive information about individuals,
and these analyses can leak that sensitive information, it is important to be
able to solve convex minimization in a privacy-preserving way.
A series of recent results show how to accurately solve a single convex
minimization problem in a differentially private manner. However, the same data
is often analyzed repeatedly, and little is known about solving multiple convex
minimization problems with differential privacy. For simpler data analyses,
such as linear queries, there are remarkable differentially private algorithms
such as the private multiplicative weights mechanism (Hardt and Rothblum, FOCS
2010) that accurately answer exponentially many distinct queries. In this work,
we extend these results to the case of convex minimization and show how to give
accurate and differentially private solutions to *exponentially many* convex
minimization problems on a sensitive dataset
Laboratory Determination of the Infrared Band Strengths of Pyrene Frozen in Water Ice: Implications for the Composition of Interstellar Ices
Broad infrared emission features (e.g., at 3.3, 6.2, 7.7, 8.6, and 11.3
microns) from the gas phase interstellar medium have long been attributed to
polycyclic aromatic hydrocarbons (PAHs). A significant portion (10%-20%) of the
Milky Way's carbon reservoir is locked in PAH molecules, which makes their
characterization integral to our understanding of astrochemistry. In molecular
clouds and the dense envelopes and disks of young stellar objects (YSOs), PAHs
are expected to be frozen in the icy mantles of dust grains where they should
reveal themselves through infrared absorption. To facilitate the search for
frozen interstellar PAHs, laboratory experiments were conducted to determine
the positions and strengths of the bands of pyrene mixed with H2O and D2O ices.
The D2O mixtures are used to measure pyrene bands that are masked by the strong
bands of H2O, leading to the first laboratory determination of the band
strength for the CH stretching mode of pyrene in water ice near 3.25 microns.
Our infrared band strengths were normalized to experimentally determined
ultraviolet band strengths, and we find that they are generally ~50% larger
than those reported by Bouwman et al. based on theoretical strengths. These
improved band strengths were used to reexamine YSO spectra published by Boogert
et al. to estimate the contribution of frozen PAHs to absorption in the 5-8
micron spectral region, taking into account the strength of the 3.25 micron CH
stretching mode. It is found that frozen neutral PAHs contain 5%-9% of the
cosmic carbon budget, and account for 2%-9% of the unidentified absorption in
the 5-8 micron region.Comment: Accepted for publication in ApJ on 14 Feb 201
Stanford Aerospace Research Laboratory research overview
Over the last ten years, the Stanford Aerospace Robotics Laboratory (ARL) has developed a hardware facility in which a number of space robotics issues have been, and continue to be, addressed. This paper reviews two of the current ARL research areas: navigation and control of free flying space robots, and modelling and control of extremely flexible space structures. The ARL has designed and built several semi-autonomous free-flying robots that perform numerous tasks in a zero-gravity, drag-free, two-dimensional environment. It is envisioned that future generations of these robots will be part of a human-robot team, in which the robots will operate under the task-level commands of astronauts. To make this possible, the ARL has developed a graphical user interface (GUI) with an intuitive object-level motion-direction capability. Using this interface, the ARL has demonstrated autonomous navigation, intercept and capture of moving and spinning objects, object transport, multiple-robot cooperative manipulation, and simple assemblies from both free-flying and fixed bases. The ARL has also built a number of experimental test beds on which the modelling and control of flexible manipulators has been studied. Early ARL experiments in this arena demonstrated for the first time the capability to control the end-point position of both single-link and multi-link flexible manipulators using end-point sensing. Building on these accomplishments, the ARL has been able to control payloads with unknown dynamics at the end of a flexible manipulator, and to achieve high-performance control of a multi-link flexible manipulator
The impact of sound field systems on learning and attention in elementary school classrooms
Purpose: An evaluation of the installation and use of sound field systems (SFS) was carried out to investigate their impact on teaching and learning in elementary school classrooms. Methods: The evaluation included acoustic surveys of classrooms, questionnaire surveys of students and teachers and experimental testing of students with and without the use of SFS. Students ’ perceptions of classroom environments and objective data evaluating change in performance on cognitive and academic assessments with amplification over a six month period are reported. Results: Teachers were positive about the use of SFS in improving children’s listening and attention to verbal instructions. Over time students in amplified classrooms did not differ from those in nonamplified classrooms in their reports of listening conditions, nor did their performance differ in measures of numeracy, reading or spelling. Use of SFS in the classrooms resulted in significantly larger gains in performance in the number of correct items on the nonverbal measure of speed of processing and the measure of listening comprehension. Analysis controlling for classroom acoustics indicated that students ’ listening comprehension score
Aging affects steaks more than knives: Evidence that the processing of words related to motor skills is relatively spared in aging
Lexical-processing declines are a hallmark of aging. However, the extent of these declines may vary as a function of different factors. Motivated by findings from neurodegenerative diseases and healthy aging, we tested whether ‘motor-relatedness’ (the degree to which words are associated with particular human body movements) might moderate such declines. We investigated this question by examining data from three experiments. The experiments were carried out in different languages (Dutch, German, English) using different tasks (lexical decision, picture naming), and probed verbs and nouns, in all cases controlling for potentially confounding variables (e.g., frequency, age-of-acquisition, imageability). Whereas ‘non-motor words’ (e.g., steak) showed age-related performance decreases in all three experiments, ‘motor words’ (e.g., knife) yielded either smaller decreases (in one experiment) or no decreases (in two experiments). The findings suggest that motor-relatedness can attenuate or even prevent age-related lexical declines, perhaps due to the relative sparing of neural circuitry underlying such words
- …